Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lee mas
Computer Algebra in Scientific Computing (vol. # 3718)
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
Lee mas
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lee mas
Computer Viruses: from theory to applications
The purpose of this book is to propose a teaching approach to under- 1 stand what computer viruses really are and how they ...
Lee mas
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python / Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Lee mas
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
Lee mas
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...
Lee mas
Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
Lee mas
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lee masContent based social platform optimization “Fashion Platform” / Saleem Allosh ; Mohammad Hasan ; MHD Wael Alhalabi ; MHD Bader Alkattan
The purpose of this project is to design a platform that concentrates on Fashion in addition to assisting users with gathering ...
Lee mas
Core Java Volume I: Fundamentals, 12th ed. / Cay S. Horstmann
The definitive guide to writing robust, maintainable code. Whatever version of Java you are using—up to and including Java ...
Lee mas
Cryptography and Cryptanalysis in Java: Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 / Stefania Loredana Nita, Marius Iulian Mihailescu
Includes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
Lee mas
Cryptography in C and C++
This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...
Lee masCybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools
This book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...
Lee mas
Data Algorithms with Spark / Mahmoud Parsian
Apache Spark's speed, ease of use, sophisticated analytics, and multilanguage support makes practical knowledge of this ...
Lee mas
Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
This book teaches data-parallel programming using C++ and the SYCL standard from the Khronos Group and walks through everything ...
Lee mas
Data Structure and Algorithms Using C++: A Practical Implementation / Sachi Nandan Mohanty, Pabitra Kumar Tripathy
Intended to flow from the basic concepts of C++ to technicalities of the programming language, its approach and debugging. ...
Lee mas
Database Programming Languages
This volume contains works at the intersection of database and programming language research.It also cover algorithms, XML ...
Lee mas
Database Programming Languages
Constitutes the refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005. ...
Lee mas
Database Programming Languages
The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...
Lee mas
